Tensor computations in computer algebra systems

Computer Algebra in Systems Theory

Computer Algebra in Systems Biology

Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for molecular biology and the development of advanced mathematical modeling techniques, this field promises to provide important new insights. At the same time, with the availability of increasingly powerful computers, c...

Type systems for computer algebra

I

xPerm: fast index canonicalization for tensor computer algebra

We present a very fast implementation of the Butler-Portugal algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written as a combination of a Mathematica package and a C subroutine. The latter performs the most demanding parts of the computations and can be linked from any other program or computer algebra system. We demonstrate with te...

Computer Algebra Systems in Engineering Education

This paper discusses the use of Computer Algebra Systems (CAS) in engineering education. A brief overview of the challenges and problems of computer and network-based lecturing and distance learning is given. From this general point of view, the power and limitations of CAS as systems for doing mathematics and simulations; calculators with infinite precision; teaching-tools for non-trivial exam...